Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
291	lo: a n e w programming notation Add to Reading List Source URL: levien.com Language: English - Date: 2010-01-16 20:25:56 Mathematical notation Functional programming Monad Big O notation Lambda calculus Classical cipher Mathematics Computer programming Software engineering
292	BAILY-BOREL COMPACTIFICATION PETER J MCNAMARA 1. Introduction Let G = Sp2g be the symplectic group (Chevalley group scheme over Z). Let K be a maximal compact subgroup of G = G(R). The symmetric space G(R)/K is commonly Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2013-07-01 22:40:35 Group theory Congruence subgroup Analytic number theory Geometric group theory Operator theory Holomorphic functional calculus Modular form Abstract algebra Mathematics Algebra
293	draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Recursion Type theory Data types Lambda calculus Computability theory Church encoding Recursive data type Mogensen–Scott encoding Algebraic data type Software engineering Computing Computer programming
294	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
295	Types For Modules Claudio V. Russo Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-04-02 04:22:02 Procedural programming languages Functional languages Type theory Lambda calculus Quantification Standard ML Type system Programming language ML Programming language theory Software engineering Computing
296	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Models of computation Racket Formal languages Lambda calculus ALGOL 68 Lazy evaluation Fold Regular expression Software engineering Computing Computer programming
297	Functional Programming in Java Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-03-19 16:07:38 Cross-platform software Scripting languages Functional languages Java platform Java programming language Java Lisp Lambda calculus The Pragmatic Programmer Computing Software engineering Computer programming
298	Adding Types to Untyped Languages Matthias Felleisen PLT Northeastern University, Boston, Massachusetts [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Lambda calculus Data types Functional programming Racket Matthias Felleisen Type safety Programming language Robert Bruce Findler Software engineering Computing Programming language theory
299	Profiling For Laziness Matthias Felleisen Stephen Chang [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
300	Swift and C# Quick Reference - Language Equivalents and Code Examples Variables Swift C# Add to Reading List Source URL: www.globalnerdy.com Language: English - Date: 2015-03-02 20:34:58 Anonymous function Functional programming Lambda calculus Subroutines SQL Foreach loop Value at risk ATS Static single assignment form Computing Software engineering Computer programming

UPDATE